Ipotesi\!:\ AB \parallel CD\
Tesi\!:\ A\^BC \cong D\^CA

1\ -\ Sia\ (per\ assurdo)\ A\^BC \not\cong D\^CA\ - 
Negazione\ della\ tesi

2\ -\ \exists E\ tale\ che\ E\^CB \cong C\^BA\ -\ 
Costruzione\ angolo\ congruente

3\ -\ EC \parallel AB\ -\ Criterio\ parallelismo\ e\ 
(2)

4\ -\ A\^BC \cong D\^CA\ -\ (1)\ è\ falsa\ 
perchè\ (3)\ contraddice\ (Ip.)\
\ \ \ \ \ \ \ e\ postulato\ unicità\ parallela\
Q.\ E.\ D.

http:\www.profcortese.net

A = (5.94, 2.3)
B = (4.06, 2.3)
a = Line(A, B)
C = (5.24, 3.9)
c = Line(C, a)
b = Line(B, C)
α = Angle(A, B, C)
D = Point(c)
β = Angle(B, C, D)
E = (2.5, 3.56)
d = Line(C, E)
γ = Angle(B, C, E)